a sum of